/*
 * To change this template, choose Tools | Templates
 * and open the template in the editor.
 */

package pv1682010;

/**
 *
 * @author Isamaru
 */
public class UserNotEnrolledException extends Exception {

    private User user;

    public UserNotEnrolledException(User user) {
	super();
	if (user == null) {
	    throw new NullPointerException("user");
	}
	this.user = user;
    }

}
